INHERITANCE OF DIVISIBILITY FORMS A LARGE SUBALGEBRA

Let A be an infinite dimensional stably finite unital simple separable C^*-algebra.Let B■A be a stably(centrally)large subalgebra in A such that B is m-almost divisible(m-almost divisible,weakly(m,n)-divisible).Then A is 2(m+1)-almost divisible(weakly m-almost divisible,secondly weakly(m,n)-divisible).     

交换L*-环

我们证明一个交换整环或交换局部环是一个L*-环当且仅当它是一个O*-环.文中还证明了一些一般性的条件使之一个交换环不是L*.     

一类特定的AF-代数

讨论了一类特定的AF-代数,其上的恒等同态可以用一列有限维值域的自同态逐点逼近.给出了这类AF-代数的K-理论刻画,并给出了一个不在这一类中的RFD AF-代数的例子.     

Hilbert C~*-模中融合框架的新刻画

观察到Hilbert C*-模中融合框架原定义的不合理性,然后通过权重集的选取将其改进,得到融合框架的新定义并给出其等价形式.特别地,利用算子理论方法得到了Hilbert C*-模中融合框架的一个新刻画.     

直觉I-Fuzzy拓扑空间的杨忠道定理

以L~*-格值上Lukasiewicz蕴含算子为工具引入了直觉I-Fuzzy拓扑空间中导集概念,接着给出它的一些性质,最后证明了直觉I-Fuzzy拓扑空间中导集的杨忠道定理.     

C~*标准代数中效应的序列同构

主要借助于C~*标准算子代数中的有限秩算子对一般的效应元进行刻画.证明了C~*标准算子代数A的效应代数E(A)上的每个序列自同构和自同构ψ都具有形式ψ(A)=UAU~*,其中A∈E(A),U为酉算子或反酉算子.     

命题逻辑公式的压缩表示及其相应的形式系统

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.     

带正则*-断面的正则半群

本文给出了带正则*-断面的正则半群的若干性质,获得了带拟理想正则*-断面的正则半群的一个构造方法.利用这一构造定理,考虑了这类半群上的同余.     

Hilbert W*-模上的广义框架

本文给出了Hilbert W*-模上的标准广义框架的不相交,强不相交,弱不相交的定义,还给出了Hilbert W*-模上的广义框架的不相交,强不相交,弱不相交成立的条件,并且用算子理论的方法研究了它们的性质.     

纯无限单C*-代数的扩张代数的K-理论Ⅱ

给出了有单位元的纯无限单的C*-代数A通过K的扩张代数E的K-理论的一种刻画.证明了K0(E)同构于E中所有具有无限余投影的无限投影的Murry-yon Neumann等价类全体所成的交换群,它还同构于上述投影的同伦等价类或酉等价类全体所成的交换群.还证明了对扩张代数E中的任·满的正元a,存在元索z ∈E,使得x*ax=1,其中K为可分无限维Hilbert空间上紧算子全体所成的C*一代数.